This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...